ar X iv : m at h / 95 05 21 2 v 1 [ m at h . L O ] 1 5 M ay 1 99 5 A game on partial orderings

نویسنده

  • Saharon Shelah
چکیده

We study the determinacy of the game Gκ(A) introduced in [FuKoShe] for uncountable regular κ and several classes of partial orderings A. Among trees or Boolean algebras, we can always find an A such that Gκ(A) is undetermined. For the class of linear orders, the existence of such A depends on the size of κ. In particular we obtain a characterization of κ = κ in terms of determinacy of the game Gκ(L) for linear orders L. We consider in this paper the question whether for every partially ordered set (A,≤), the game Gκ(A) described below is determined, i.e. whether one of the players has a winning strategy. Here and in the following, except for the motivation given below, κ is always a regular uncountable cardinal. More precisely we study the question for trees, Boolean algebras and linear orderings. In fact there are trees, resp. Boolean algebras, A of size κ for which Gκ(A) is not determined (Propositions 6 and 11); for linear orders, the situation is more complex: if κ = κ, then for every linear order L, Gκ(L) is determined (Proposition 2); otherwise there is a linear order L of size κ such that Gκ(L) is not determined (Proposition 8). The motivation for this question comes from the paper [FuKoShe] which in turn was motivated by [HeSha]. A Boolean algebra A is said to have the Freese-Nation property if there exists a function f which assigns to every a ∈ A a finite subset f(a) of A such that if a, b ∈ A satisfy a ≤ b, then a ≤ x ≤ b holds for some x ∈ f(a)∩f(b). This property is closely related to projectivity; in fact, every projective Booleran algebra has the Freese-Nation property (but not conversely). Heindorf proved that the Freese-Nation property is equivalent to open-generatedness, a notion originally introduced in topology by Ščepin. In [FuKoShe], it is generalized to from ω to regular cardinals κ and from Boolean algebras to arbitrary partial orderings. This generalization is called κ-Freese-Nation property and the following equivalence was proved: a partial ordering A has the κ-Freese-Nation property iff there is a closed unbounded subset C of [A] such that C ≤κ A holds for all C ∈ C iff in the game 1991 Mathematics Subject Classification. 03E05.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : m at h / 99 05 12 2 v 1 [ m at h . L O ] 1 9 M ay 1 99 9 THE CICHOŃ DIAGRAM

We conclude the discussion of additivity, Baire number, uniformity and covering for measure and category by constructing the remaining 5 models. Thus we complete the analysis of Cicho´n's diagram.

متن کامل

ar X iv : m at h / 99 05 11 4 v 1 [ m at h . L O ] 1 9 M ay 1 99 9 REMARKS ON THE INTERSECTION OF FILTERS

We will show that that the existence of an uncountable family of nonmeager filter whose intersection is meager is consistent with MA(Suslin).

متن کامل

ar X iv : h ep - p h / 99 05 46 9 v 1 2 5 M ay 1 99 9 DESY 99 – 060 hep - ph / 9905469 May 1999 W Boson Production at NLO ∗

We discuss W boson production at HERA including NLO QCD corrections. A detailed comparison with previous work is presented.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008